package Store;

/**
 * inv:
 * not (isFinal and isInitial)
 * State.allInstances()->select(isInitial).size() = 1
 */

public class State 
{
	private String name;
	private boolean isFinal;
	private boolean isInitial;
	

	public void setInfo(String n , boolean isfinal, boolean isinitial)
	{
		name=n;
		isFinal=isfinal;
		isInitial=isinitial;
	} 
	public void setName (String n)
	{
		name=n;
	}
	public void setIsFinal (boolean b)
	{
		isFinal = b;
	}
	public void setIsInitial(boolean b)
	{
		isInitial = b;
	}
	public String getName()
	{
		return name;
	}
	public boolean getIsFinal(){
		return isFinal;
	}
	public boolean getIsInitial(){
		return isInitial;
	}
}